- временной автомат
- Automation: timed automaton
Универсальный русско-английский словарь. Академик.ру. 2011.
временной автомат
Смотреть что такое "временной автомат" в других словарях:
Автомат Калашникова — У этого термина существуют и другие значения, см. Автомат Калашникова (значения). Автомат Калашникова … Википедия
Клеточный автомат — дискретная модель, изучаемая в математике, теории вычислимости, физике, теоретической биологии и микромеханике. Включает регулярную решётку ячеек, каждая из которых может находиться в одном из конечного множества состояний, таких как 1 и 0.… … Википедия
Ту-22М — Не следует путать с Ту 22. Ту 22М … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
M16 M16A1 M16A2 — Автомат (штурмовая винтовка) Armalite / Colt AR 15 / M16 (США) штурмовая винтовка AR 15 / M16 (примерно 1965 год), еще без досылателя затвора и с трехщелевым пламегасителем штурмовая винтовка M16A1, с досылателем затвора, магазином на 20… … Энциклопедия стрелкового оружия
1: — Терминология 1: : dw Номер дня недели. «1» соответствует понедельнику Определения термина из разных документов: dw DUT Разность между московским и всемирным координированным временем, выраженная целым количеством часов Определения термина из… … Словарь-справочник терминов нормативно-технической документации
ГОСТ 23004-78: Механизация и автоматизация технологических процессов в машиностроении и приборостроении. Основные термины, определения и обозначения — Терминология ГОСТ 23004 78: Механизация и автоматизация технологических процессов в машиностроении и приборостроении. Основные термины, определения и обозначения оригинал документа: 6. Автоматизация живого труда Автоматизация труда Применение… … Словарь-справочник терминов нормативно-технической документации
Киносъёмочный аппарат — (кинокамера) устройство, предназначенное для записи движущегося изображения на киноплёнку. Процесс записи называется киносъёмкой, а полученное в результате изображение используется для создания кинофильма. В процессе киносъёмки при помощи… … Википедия
Singularity (игра) — У этого термина существуют и другие значения, см. Singularity. Singularity Разработчик Raven Software Издатель Activision YBW Group Даты выпуска … Википедия
Нефтяная вышка — (Oil derrick) Устройство, предназначение и использование нефтяных вышек Информация об устройстве, назначении, описании и использовании нефтяных вышек Содержание — это разрушения с помощью специальной техники. Различают два вида бурения:… … Энциклопедия инвестора
ГОСТ 19472-88: Система автоматизированной телефонной связи общегосударственная. Термины и определения — Терминология ГОСТ 19472 88: Система автоматизированной телефонной связи общегосударственная. Термины и определения оригинал документа: Circuit group telephone network traffic capacity 68 Определения термина из разных документов: Circuit group… … Словарь-справочник терминов нормативно-технической документации
